@echo off
latex -src josephus.tex
makeindex -o josephus.ind josephus.idx
latex -src josephus.tex
dvipdfmx josephus.dvi
echo dvipdfm josephus.dvi
del *.aux
del *.toc
del *.lof
del *.lot
del *.ilg
del *.idx
del *.ind
del *.out
del *.log
del *.exa
@echo on